141. FSM-based digital design using Verilog HDL
پدیدآورنده: / Peter Minns, Ian Elliott
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Verilog (Computer hardware description language,Digital electronics,Sequential machine theory
رده :
E-BOOK
142. Finite automata and application to cryptography
پدیدآورنده: Tao, Renji
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory,، Cryptography
رده :
QA
267
.
5
.
S4
.
T36
2009
143. Finite automata and application to cryptography
پدیدآورنده: / Renji Tao
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Sequential machine theory,Cryptography
رده :
QA
267
.
5
.
S4
T36
2008
144. Finite automata; behavior and synthesis
پدیدآورنده: Trakhtenbrot, B. A.)Boris Avraamovich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
T713
145. Finite automata; behavior and synthesis
پدیدآورنده: / B. A. Trakhtenbrot and Ya. M. Barzdin, translated from the Russian by O. Louvish, English translation edited by E. Shamir and L. H. Landweber
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Sequential machine theory
رده :
620
.
891
Tr-F
146. Finite automata, their algebras and grammars
پدیدآورنده: J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
147. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده: Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
148. Finite state machine logic synthesis for complex programmable logic device
پدیدآورنده: / Robert Czerwinski and Dariusz Kania
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Sequential machine theory,Programmable logic devices,Electronic books
رده :
E-BOOK
149. Finite-state models for logical machines
پدیدآورنده: Hennie, Frederick C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H4
150. Finite-state models for logical machines
پدیدآورنده: HENNIE,FREDERICK C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H4
151. Finite-state models for logical machines
پدیدآورنده: Hennie, Frederick C.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4H4
152. Finite transition systems : semantics of communicating systems, Systemes de transitions finit et semantique des processus communicants. English
پدیدآورنده: Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
153. Food process modeling and control :
پدیدآورنده: Mustafa Özilgen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemical engineering-- Mathematical models.,Food-- Analysis-- Mathematical models.,Food industry and trade-- Quality control-- Mathematical models.,Aliments-- Analyse-- Modèles mathématiques.,Chemical engineering-- Mathematical models.,Commande de processus chimiques-- Modèles mathématiques.,Industrie agro-alimentaire-- Modèles mathématiques.,Lebensmittelverarbeitung,Mathematisches Modell,TRANSPORT.
رده :
TX545
.
O95
1998
154. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده: J.E. Pin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
155. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
156. Fundamental aspects of operational risk and insurance analytics :
پدیدآورنده: Marcelo G. Cruz, GLeonard N. Stern School of Business, New York University, New York, NY, USA, Gareth W. Peters, Department of Statistical Science, University College of London, London, United Kingdom, Pavel V. Shevchenko, Division of Computational Informatics, The Commonwealth Scientific and Industrial Research Organization, Sydney, Australia
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Operational risk.,Risk management.,Emergency management.,Operational risk.,Risk management.
رده :
HD61
157. Handbook of Mixture Analysis /
پدیدآورنده: edited by Sylvia Frühwirth-Schnatter, Gilles Celeux, Christian P. Robert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distribution (Probability theory),Mixture distributions (Probability theory),COMPUTERS-- Machine Theory.,Distribution (Probability theory),MATHEMATICS-- Probability & Statistics-- General.,Mixture distributions (Probability theory)
رده :
QA273
.
6
158. Handbook of Parallel Constraint Reasoning
پدیدآورنده: edited by Youssef Hamadi, Lakhdar Sais
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Artificial intelligence,، Computer science,، Computers,، Mathematical optimization
رده :
Q
335
.
S4668
2018
159. Handbook of finite state based models and applications
پدیدآورنده: edited by Jiacun Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Sequential machine theory.
160. Handbook of implicit social cognition :
پدیدآورنده: edited by Bertram Gawronski, B. Keith Payne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Social perception.,Subliminal perception.,PSYCHOLOGY-- Social Psychology.,Social perception.,Subliminal perception.
رده :
BF323
.
S8
H36
2010eb
